ASCB Keith Porter Lecture

Keith Roberts Porter: 1912–1997

K eith Roberts Porter died on May 2, 1997, just over a month short of his 85th birthday. He had the perspicacity, good fortune, and patience to take advantage of the fast moving frontier of analytical biology after the Second World War to provide many of the techniques and experimental approaches that established the new field of biomedical research now known as cell biology. He was renowned fo...

2011 ASCB Annual Meeting abstracts

The abstracts of the 2011 American Society for Cell Biology (ASCB) Annual Meeting are attached to this article as searchable PDF files. To view the files, click on the Abstracts link in the content box in the middle column of the HTML version of this article. The ASCB and the Editor-in-Chief of Molecular Biology of the Cell (MBoC) decided to present the Annual Meeting abstracts in this manner s...

Roy Porter

Keith Simmons

Computer scientists use formal verification to attempt to provide guarentees to the users of software about the run time characteristics of a given program. Verification techniques today often require a TCB or Trusted Code Base which due to time or effort constraints, the authors were not able to prove correct. When bugs occure in these pieces, they break down the strong guarentees of formal ve...

2012 ASCB Annual Meeting abstracts

γ-Tubulin nucleates microtubules (MTs) in all eukaryotes and acts in complex with an array of related accessory proteins. It exists in at least two types of complexes inside cells: a ~300kDa γ-Tubulin Small Complex (γTuSC), which can assemble to form a ~2.2MDa γ-Tubulin Ring Complex (γTuRC). In vitro MT nucleation assays have shown that the γTuRC is a more potent nucleator than γTuSC. Interesti...